Extensible sparse functional arrays with circuit parallelism

A longstanding open question in algorithms and data structures is the time and space complexity of pure functional arrays. Imperative arrays provide update and lookup operations that require constant time in the Random Access Machine (RAM) theoretical model, but it is conjectured that there does not exist a RAM algorithm that achieves the same complexity for functional arrays, unless restrictions are placed on the operations. The main result of this paper is an algorithm that does achieve optimal unit time and space complexity for update and lookup on functional arrays. This algorithm does not run on a RAM, but instead it exploits the massive parallelism inherent in digital circuits. The algorithm also provides unit time operations that support storage management, as well as sparse and extensible arrays. The main idea behind the algorithm is to replace a RAM memory by a tree circuit that is more powerful than the RAM yet has the same asymptotic complexity in time (gate delays) and size (number of components). The algorithm uses an array representation that allows elements to be shared between many arrays with only a small constant factor penalty in space and time. This system exemplifies circuit parallelism, which exploits large numbers of transistors per chip in order to speed up key algorithms. Extensible Sparse Functional Arrays (ESFA) can be used with both functional and imperative programming languages. The system comprises a set of algorithms and a circuit specification, and it has been implemented on a GPGPU

Regular expressions as violin bowing patterns

String players spend a significant amount of practice time creating and learning bowings. These may be indicated in the music using up-bow and down-bow symbols, but those traditional notations do not capture the complex bowing patterns that are latent within the music. Regular expressions, a mathematical notation for a simple class of formal languages, can describe precisely the bowing patterns that commonly arise in string music. A software tool based on regular expressions enables performers to search for passages that can be handled with similar bowings, and to edit them consistently. A computer-based music editor incorporating bowing patterns has been implemented, using Lilypond to typeset the music. Our approach has been evaluated by using the editor to study ten movements from six violin sonatas by W. A. Mozart. Our experience shows that the editor is successful at finding passages and inserting bowings; that relatively complex patterns occur a number of times; and that the bowings can be inserted automatically and consistently

Review of near-infrared spectroscopy as a process analytical technology for real-time product monitoring in dairy processing

peer-reviewedReal-time process/product monitoring can be achieved using suitable process analytical technologies (PAT) to improve process efficiencies and product quality. In the dairy industry, near infrared (NIR) spectroscopy has been utilised as a laboratory analytical method (off-line) for compositional analysis of dairy products since the 1970s. Recent advances in NIR technology and instrumentation have widened its applications from a bench-top analytical instrument to a promising PAT tool for on-line and in-line implementation. This review focuses on the use of NIR technology for real-time monitoring of dairy products, by briefly outlining the measurement principle, NIR instrument configurations, in-line sampling methods, calibration models development, some practical considerations for process installation, and current state of the art in on-line and in-line NIR applications (2012 to date) for continuous process monitoring in the production of dairy products. The challenges and additional resources required to improve production efficiencies using NIR spectroscopy are also discussed.Dairy Processing Technology Centre (DPTC) and Enterprise Irelan

Human Glial-Restricted Progenitor Transplantation into Cervical Spinal Cord of the SOD1G93A Mouse Model of ALS

Cellular abnormalities are not limited to motor neurons in amyotrophic lateral sclerosis (ALS). There are numerous observations of astrocyte dysfunction in both humans with ALS and in SOD1G93A rodents, a widely studied ALS model. The present study therapeutically targeted astrocyte replacement in this model via transplantation of human Glial-Restricted Progenitors (hGRPs), lineage-restricted progenitors derived from human fetal neural tissue. Our previous findings demonstrated that transplantation of rodent-derived GRPs into cervical spinal cord ventral gray matter (in order to target therapy to diaphragmatic function) resulted in therapeutic efficacy in the SOD1G93A rat. Those findings demonstrated the feasibility and efficacy of transplantation-based astrocyte replacement for ALS, and also show that targeted multi-segmental cell delivery to cervical spinal cord is a promising therapeutic strategy, particularly because of its relevance to addressing respiratory compromise associated with ALS. The present study investigated the safety and in vivo survival, distribution, differentiation, and potential efficacy of hGRPs in the SOD1G93A mouse. hGRP transplants robustly survived and migrated in both gray and white matter and differentiated into astrocytes in SOD1G93A mice spinal cord, despite ongoing disease progression. However, cervical spinal cord transplants did not result in motor neuron protection or any therapeutic benefits on functional outcome measures. This study provides an in vivo characterization of this glial progenitor cell and provides a foundation for understanding their capacity for survival, integration within host tissues, differentiation into glial subtypes, migration, and lack of toxicity or tumor formation

Predictive Modeling Techniques in Prostate Cancer

A number of new predictive modeling techniques have emerged in the past several years. These methods can be used independently or in combination with traditional modeling techniques to produce useful tools for the management of prostate cancer. Investigators should be aware of these techniques and avail themselves of their potentially useful properties. This review outlines selected predictive methods that can be used to develop models that may be useful to patients and clinicians for prostate cancer management.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/63147/1/10915360152745812.pd

Pion-nucleus elastic scattering on 12C, 40Ca, 90Zr, and 208Pb at 400 and 500 MeV

Pion-nucleus elastic scattering at energies above the Delta(1232) resonance is studied using both pi+ and pi- beams on 12C, 40Ca, 90Zr, and 208Pb. The present data provide an opportunity to study the interaction of pions with nuclei at energies where second-order corrections to impulse approximation calculations should be small. The results are compared with other data sets at similar energies, and with four different first-order impulse approximation calculations. Significant disagreement exists between the calculations and the data from this experiment

Bias in trials comparing paired continuous tests can cause researchers to choose the wrong screening modality

<p>Abstract</p> <p>Background</p> <p>To compare the diagnostic accuracy of two continuous screening tests, a common approach is to test the difference between the areas under the receiver operating characteristic (ROC) curves. After study participants are screened with both screening tests, the disease status is determined as accurately as possible, either by an invasive, sensitive and specific secondary test, or by a less invasive, but less sensitive approach. For most participants, disease status is approximated through the less sensitive approach. The invasive test must be limited to the fraction of the participants whose results on either or both screening tests exceed a threshold of suspicion, or who develop signs and symptoms of the disease after the initial screening tests.</p> <p>The limitations of this study design lead to a bias in the ROC curves we call <it>paired screening trial bias</it>. This bias reflects the synergistic effects of inappropriate reference standard bias, differential verification bias, and partial verification bias. The absence of a gold reference standard leads to inappropriate reference standard bias. When different reference standards are used to ascertain disease status, it creates differential verification bias. When only suspicious screening test scores trigger a sensitive and specific secondary test, the result is a form of partial verification bias.</p> <p>Methods</p> <p>For paired screening tests with bivariate normally distributed scores, we give formulae and programs to quantify the effect of <it>paired screening trial bias </it>on a paired comparison of area under the curves. We fix the prevalence of disease, and the chance a diseased subject manifests signs and symptoms. We derive the formulas for true sensitivity and specificity, and those for the sensitivity and specificity observed by the study investigator.</p> <p>Results</p> <p>The observed area under the ROC curves is quite different from the true area under the ROC curves. The typical direction of the bias is a strong inflation in sensitivity, paired with a concomitant slight deflation of specificity.</p> <p>Conclusion</p> <p>In paired trials of screening tests, when area under the ROC curve is used as the metric, bias may lead researchers to make the wrong decision as to which screening test is better.</p